: 种属关系“形式逻辑是研究思维的科学。”这一语句作为定义（）。